Surj($A$;$B$;$f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$b$:$B$. $\exists$$a$:$A$. ($f$($a$) = $b$)